ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics
نویسندگان
چکیده
ArchiTRIO [14] is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including realtime constraints. In this paper we present the semantics of the core concepts of the ArchiTRIO language. As the core elements of ArchiTRIO coincide with those of UML 2.0 (operation, interface, port, class), the semantics of ArchiTRIO provides also a formal definition for the basic concepts on which UML 2.0 is built.
منابع مشابه
UML 2.0 State Machines: Complete Formal Semantics Via core state machine
UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriv...
متن کاملA CSP View on UML-RT Structure Diagrams
UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components them...
متن کاملDefining the Semantics of UML Class and Sequence Diagrams for Ensuring the Consistency and Executability of OO Software Specification
In order to ensure the correctness of OO Software Specification when using UML, the semantics of UML diagrams must be rigorously defined. To be rigorous, one typically resorts to formal languages for specifying UML diagrams. However, formal languages are usually heavy to learn/use and formally defined semantics of diagrams usually does not show how it is connected to the semantics of programs. ...
متن کاملFormal Action Semantics for a UML Action Language
The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework. However UML’s dynamic semantics, such as UML Precise Action Semantics and the behaviors like activities, interactions and state machines, are only standardized in a natural language—English. It is commonly argued that such in...
متن کاملAn Algebraic Semantics of Uml Supporting Its Multiview Approach
We aim at using algebraic techniques, and in particular an extension, Casl-Ltl of the Casl basic language in order to produce a formal semantics of the UML. Contrary to most cases, this task is far from trivial. Indeed, the UML notation is complex, including a lot of heterogeneous notations for diierent aspects of a system, possibly described in diierent phases of the development process. Moreo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005